Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach

Wireless Sensor Networks (WSNs) are increasingly being adopted in critical applications. In these networks undesired events may undermine the reliability level; thus their effects need to be properly assessed from the early stages of the development process onwards to minimize the chances of unexpected problems during use. In this paper we propose two heuristic strategies: what-if analysis and robustness checking. They allow to drive designers towards optimal WSN deployment solutions, from the point of view of the connection and data delivery resiliency, exploiting a formal approach based on the event calculus formal language. The heuristics are backed up by a support tool aimed to simplify their adoption by system designers. The tool allows to specify the target WSN in a user-friendly way and it is able to elaborate the two heuristic strategies by means of the event calculus specifications automatically generated. The WSN reliability is assessed computing a set of specific metrics. The effectiveness of the strategies is shown in the context of three case studies. A. Testa Institute for High Performance Computing and Networking, CNR, via P. Castellino, 111 Naples, 80131, Italy Tel.: +39-081-6139515 Fax: +39-081-6139531 E-mail: [email protected] A. Coronato and G. De Pietro Institute for High Performance Computing and Networking, CNR, via P. Castellino, 111 Naples, 80131, Italy M. Cinque DIETI, University of Naples ”Federico II”, via Claudio 19 Naples, 80127, Italy J. C. Augusto School of Science and Technology, Middlesex University, The Burroughs London, UK 2 Alessandro Testa et al.